10

Secured cloud computing for medical data based on watermarking and encryption

Year:
2018
Language:
english
File:
PDF, 3.02 MB
english, 2018
11

Model-Based Monitoring of a Train Passenger Access System

Year:
2018
Language:
english
File:
PDF, 12.53 MB
english, 2018
12

A Diagnosis Study on a Train Passenger Access System using Petri Net Models

Year:
2018
Language:
english
File:
PDF, 790 KB
english, 2018
15

Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking

Year:
2015
Language:
english
File:
PDF, 498 KB
english, 2015